... cho phủtốitiểu R( ABCD); F = {B → C; C → D} Phép tách lượcđồquanhệ Phép tách lượcđồquanhệR = {A1, …An} việc thay lượcđồquanhệRtậplượcđồ {R 1, R2 ,…, Rk}, Ri ⊆ R, i =1 k R = R1 ∪ ... Thể quanhệRlượcđồquanhệ R( U, F) tập tất thỏa mãn tập tất phụthuộchàmFHệ tiên đề Armstrong cho phụthuộchàm Gọi R( U, F) lượcđồquanhệ với U={A 1, , An} tậpthuộc tính X, Y, Z W ⊆ U Hệ ... tìm phủtốitiểu thứ tự phụthuộchàmF khác thu phủtốitiểu khác 8.2 Thuật toán tìm phủtốitiểu Input: Lượcđồquanhệ ban đầu Rtậpphụthuộchàm F, số phụthuộchàmF m Output: Tậpphụ thuôc...
... Phụthuộchàm LS (F) Tập vế trái phụthuộchàm RS (F) Tập vế phải phụthuộchàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd normal form - Dạng chuẩn FD Phụthuộchàm ... (F) ; // Tậpthuộc tính F G := F; For each FD g: L R in F X := L; For each attribute A in X If R Closure (U, G, L\{A} R) then Delete A from L in G; Endif Endfor Endfor Return G; End Left_Reduced ... Closure (U, G\{g} {L R\ {A}},L) then Delete A from R in G; Endif; Endfor; If R = then Delete L R from G; Endif; Endfor; Return G; End Right_Reduced 1. 5.4 Phủtốitiểu Cho hai tậpF G tập thuộc...
... Giao R (Giao tập hợp để lấy thuộc tính chung Tập hợp đó) Ví dụ : Cho L = {A,B,C,D,E} R = {D,E ,F, G} Vậy TG = L /cap R = {D,E} Thuật toán : Bước : Tìm tậpthuộc tính nguồn TN Tậpthuộc tính trung ... (http://en.wordpress.com/aboutthese-ads/) Để lại phản hồi Posted by tltiendat on 05 /12 /2 011 in CSDL Nâng Cao Blog at WordPress.com The Choco Theme Entries (RSS) Bình luận (RSS) Follow Follow “Mập ... EDF Vậy S = {AB,ED} tập khóa cần tìm Chúng ta có ví dụ mẫu sau : Ví dụ : Cho tập sỡ liệu R = Ví dụ : Cho tập sỡ liệu R = Với Q = {ABC} F = {AB –> C, C -> A} Tìm tất khóa thuộc tập...
... tra bảo toàn tậpphụthuộchàm bảo toàn thông tin Bài Cho lượcđồquanhệ R= ABCDE Tậpphụthuộchàm F= {A → C, B → C, C → D, DE → C, CE → A} Phép tách lượcđồ thành lượcđồ con: R1 =AD, R2 =AB, R3 =BE, ... R3 =BE, R4 =CDE, R5 =AE Kiểm tra phép tách có mát thông tin hay không ? Bài Cho lượcđồquanhệ R= ABCD Tậpphụthuộchàm F= {A→B, B→C, A→D, D→C} Phép tách lượcđồ thành lượcđồ : R1 =AB, R2 =AC, R3 =BD ... tra phép tách có bảo toàn thông tin hay không? Kiểm tra phép tách có bảo toàn tậpphụthuộchàm với F ? Bài Cho lượcđồquanhệ R= ABCDEH Tậpphụthuộchàm F= {C →ADEH, A →B, DEH →A} Phép tách lược...
... LƢỢC ĐỒQUANHỆ1.1Quanhệ1. 2 Phụthuộc hàm, hệ tiên đề Armstrong, lƣợc đồquanhệ1. 2 .1 Phụthuộchàm1. 2.2 Hệ tiên đề Armstrong 1. 2.3 Lƣợc đồquanhệ ... t.X tậpthuộc tính X Mộtquanhệr ng, ký hiệu , quanhệ không chứa Chú ý: Mỗi quanhệtập nên quanhệ hai trùng lặp 1. 2 Phụthuộc hàm, hệ tiên đề Armstrong, lƣợc đồquanhệ1. 2 .1 Phụthuộchàm ... tức là: R( X Y) u,v R: u.X = v.X u.Y = v.Y Cho quanhệ R( U) tập PTH Ftậpthuộc tính U Ta nói quanhệR thỏa tập PTH F, ký hiệu R( F) , R thỏa PTH F, tức R( F) f F: R( f) 1. 2.2 Hệ tiên đề Armstrong [2,...
... phụthuộchàm vào tậpthuộc tính X, tậpthuộc tính X xác định hàmtậpthuộc tính Y Cho quanhệ R( U) PTH f: X ↑ Y U Ta nói quanhệR thỏa PTH f (hay PTH fquanhệ R) , ký hiệu R( f) , hai tùy ý R ... Armstrong, lượcđồquanhệ1. 2 .1 Phụthuộchàm [2] ζ Định nghĩa phụthuộchàm Cho tậpthuộc tính U Giả sử X, Y ⊂ U Mộtphụthuộchàm (PTH) U biểu thức dạng f: X ↑ Y Nếu f: X ↑ Y PTH U ta nói tậpthuộc ... với thuộc tính, dòng Ta ký hiệu t(X) t.X tậpthuộc tính X Mộtquanhệr ng, ký hiệu ⊕, quanhệ không chứa Chú ý: Mỗi quanhệtập nên quanhệ hai trùng lặp 1. 2 Phụthuộc hàm, hệ tiên đề Armstrong,...
... nghĩa 1. 2.3 Cho tập PTH Ftậpthuộc tính U Ta nói quanhệ R( U) thoả tập PTH F, viết R( F) , R thoả PTH F, R( F) ⇔ (∀ f ∈ F) : R( f) Nếu quanhệR thỏa PTH f ta nói PTH fquanhệR Thí dụ Cho lượcđồquan ... 0 0 0 0 0 11 0 0 0 0 111 0 0 111 0 1111 0 11 2.2 Phụthuộc Boole dương Tiếp theo số phụthuộc logic phụthuộc hàm, phụthuộc đối ngẫu, phụthuộc mạnh, phụthuộc yếu, phụthuộc sai khác, ... hàm F, G U, tậpquanhệ ℜ U, quanhệR S U Khi đó: Nếu F ⊆ G SAT (F) ⊇ SAT(G) SAT(FG) = SAT (F) ∩ SAT(G) FD (R S) ⊆ FD (R) ∩ FD(S) R ⊆ S → FD (R) ⊇ FD(S) F ⊆ FD(SAT (F) ) ℜ ⊆ SAT(FD(ℜ)) SAT(FD(SAT (F) ))...
... Phụthuộchàm LS (F) Tập vế trái phụthuộchàm RS (F) Tập vế phải phụthuộchàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd normal form - Dạng chuẩn FD Phụthuộchàm ... (F) ; // Tậpthuộc tính F G := F; For each FD g: L R in F X := L; For each attribute A in X If R ⊆ Closure (U, G, L\{A} R) then Delete A from L in G; Endif Endfor Endfor Return G; End Left_Reduced ... Closure (U, G\{g} ∪ {L R\ {A}},L) then Delete A from R in G; Endif; Endfor; If R = ∅ then Delete L R from G; Endif; Endfor; Return G; End Right_Reduced 1. 5.4 Phủtốitiểu Cho hai tậpF G tập thuộc...
... LĐQH Lượcđồquanhệ LĐCB Lượcđồ cân PTH Phụthuộchàm LS (F) Tập vế trái phụthuộchàm RS (F) Tập vế phải phụthuộchàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd ... data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error ... not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read...
... Phụthuộchàm LS (F) Tập vế trái phụthuộchàm RS (F) Tập vế phải phụthuộchàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd normal form - Dạng chuẩn FD Phụthuộchàm ... (F) ; // Tậpthuộc tính F G := F; For each FD g: L R in F X := L; For each attribute A in X If R ⊆ Closure (U, G, L\{A} R) then Delete A from L in G; Endif Endfor Endfor Return G; End Left_Reduced ... Closure (U, G\{g} ∪ {L R\ {A}},L) then Delete A from R in G; Endif; Endfor; If R = ∅ then Delete L R from G; Endif; Endfor; Return G; End Right_Reduced 1. 5.4 Phủtốitiểu Cho hai tậpF G tập thuộc...
... tậpthuộc tính U Ta nói quanhệ R( U) thoả tập PTH F, viết R( F) , R thoả PTH F, R( F) ( f F) : R( f) Nếu quanhệR thỏa PTH f ta nói PTH fquanhệR Thí dụ Cho quanhệ R( A, B, C, D) sau R( A a ... Lƣợc đồquanhệ 13 1. 2.4 Bao đóng tậpthuộc tính 18 1. 2.5 Phủtậpphụthuộchàm 21 1.2.6 Khóa lƣợc đồquanhệ 27 1. 2.7 Chuẩn hoá LĐQH sở phụthuộchàm 31 CHƢƠNG PHÉP DỊCH CHUYỂN LƢỢC ĐỒQUANHỆ ... Ftậpthuộc tính U f PTH U Ta nói PTH f suy dẫn theo quanhệ có không p từ tập PTH F viết F ├p f, quanhệR REL_p(U) thoả FR thoả f F├p f SAT_p (F) SAT_p (f) Cho tậpthuộc tính U tập PTH F...
... tậpthuộc tính U Ta nói quanhệ R( U) thoả tập PTH F, viết R( F) , R thoả PTH F, R( F) ( f F) : R( f) Nếu quanhệR thỏa PTH f ta nói PTH fquanhệR Thí dụ Cho quanhệ R( A, B, C, D) sau R( A a ... Lƣợc đồquanhệ 13 1. 2.4 Bao đóng tậpthuộc tính 18 1. 2.5 Phủtậpphụthuộchàm 21 1.2.6 Khóa lƣợc đồquanhệ 27 1. 2.7 Chuẩn hoá LĐQH sở phụthuộchàm 31 CHƢƠNG PHÉP DỊCH CHUYỂN LƢỢC ĐỒQUANHỆ ... Ftậpthuộc tính U f PTH U Ta nói PTH f suy dẫn theo quanhệ có không p từ tập PTH F viết F ├p f, quanhệR REL_p(U) thoả FR thoả f F├p f SAT_p (F) SAT_p (f) Cho tậpthuộc tính U tập PTH F...
... password thaydoipassword_sup.asp Giao diện dành cho supervisor: Trang chủ supervisor: + Hiển thị bảng điều khiển dành cho supervisor Trang xem danh sách admin: + Hiển thị danh sách admin có Trang ... mới: + Giúp supervisor thêm admin Trang cập nhật thông tin cá nhân: + Giúp supervisor cập nhật thông tin cá nhân Trang thay đổi password: + Giúp supervisor thay đổi password VII Sơ đồ USE CASE website: ... quản trị nguoiquantri.asp Admin Supervisor Đăng nhập Thành công? No Yes Giao diện dành cho khách tham quan: Trang chủ: + Hiển thị thông tin phim bật nhất, phim nhất, phim bán chạy thị trường...
... Cho lượcđồquanhệ α=(U, F) , X, Y, Y⊆U tậpthuộc tính Y gọi phụthuộchàm đầy đủ vào tậpthuộc tính X Y phụthuộchàm vào X không phụthuộchàm vào tập thực x tức là: - X→ Y ( Y phụthuộchàm vào ... dạng chuẩn cao lượcđồ Mối quanhệ dạng chuẩn 13 /45 16 .2 .1 dạng chUẩn (1NF-fist normal form) Định nghĩa: Mộtlượcđồquanhệ α=(U, F) gọi dạng chuẩn ( 1NF) tất miền giá trị thuộc tính R nguyên tố ... Xét quanhệ S(S#, PRO), thấy thuộc tính PRO chứa giá trị không nguyên tố Vì quanhệquanhệ dạng chuẩn 1NF 14 /45 16 .2 .1 dạng chUẩn (1NF-fist normal form) Ví dụ: S# S1 S2 S3 P# 10 0 200 300 10 0...
... Iy 1. 2, K = \ R V~y (O \R) +=O b) Giii so: V 01 hroc S = (0, F) ta co (0 \ R) + = O V~y \ R lit sieu khoa va se clnra no it nhjit m9t khoa K ~ \ R M~t khac theo Djnh Iy 1. 1, co \ R ~ K, suy K = \ R ... v~y, neu (0 \ R) U (L n R) Ia khoa cu a S thi, theo (1) kh6a Ia nhdt Khi G(S) = (0 \ R) U (L n R) =/=- \ R, m au thuh veri (2) V~y hro'c S = (0, F) co ffi9t khoa nhat Tbi dlJ Cho hro'c quan h~ S ... L nR = L n ( U Ri) iEI Tir do: < U s; iEI va U i, ~L \ R iEI mqt khoa nhat lo.: 68 NGUYEN XUAN THAI L\ R > * U t; > * L n R (3) iEI Ket ho'p vo'i L \ R ~ L \ R, cho: L \R~ R M~t khac ro rang...